Symmetry in subword segmentation
languagelog.ldc.upenn.edu·6h
📄Text Segmentation
Bootstrapping a Forth for Art
tia.mat.br·6h·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Forcing ChatGPT to Obey: Minimal and Deterministic Rules
dev.to·15h·
Discuss: DEV
📝ABNF Parsing
Applied AI Fundamentals: Structured Outputs
ouachitalabs.com·14h·
Discuss: Hacker News
📝Concrete Syntax
<div xmlns="http://www.w3.org/1999/xhtml"> Writing letters with <code>groff</code> and an old printer </div>
uninformativ.de·17h·
Discuss: Hacker News
🖋Typography
LLMs running locally
markjgsmith.com·7h
🌀Brotli Internals
Prompting Strategies for Language Model-Based Item Generation in K-12 Education: Bridging the Gap Between Small and Large Language Models
arxiv.org·2d
⚡Proof Automation
Embedding MicroHs
thma.github.io·1d
🔗Functional Compilers
The Art of Transformer Programming (2023)
yanivle.github.io·6h·
Discuss: Hacker News
🤖Lisp Machines
Micro DSLs for scenario tests with Rust macros
dystroy.org·5h
🦀Rust Macros
Adding Conversational AI: Converting Natural Language into JSON Actions
chariotsolutions.com·1d·
Discuss: Hacker News
🌳Incremental Parsing
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1d
🎯Performance Proofs
Equivalence via Surjections
golem.ph.utexas.edu·1d
🔀Category Theory
🌟Introducing Art-0-8B: Reasoning the way you want it to with Adaptive Thinking🌟 [R]
reddit.com·7h·
Discuss: r/MachineLearning
🔗Constraint Handling
What is a large language model?
proton.me·1d
💻Local LLMs
Designing PDFs for Pattern-Based Reading
pdfa.org·1d
📄PDF Internals
Notes on an overheard conversation between a prescriptivist and a descriptivist
boston.conman.org·2h
🔍Archive Semantics
Tradeoffs of Highly-Expressive Types
jnkr.tech·9h·
Discuss: Hacker News
🎯Gradual Typing
Answering some questions about Baba Yaga
eli.li·11h·
Discuss: Hacker News
🎯Dependent Types
Core Concepts: Decoding Human Language
dev.to·2d·
Discuss: DEV
🤖Grammar Induction